Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
671	Screw-Based Motion Planning for Bevel-Tip Flexible Needles in 3D Environments with Obstacles Vincent Duindam⋄ Ron Alterovitz⋄‡ Shankar Sastry⋄ Ken Goldberg⋄∗ of EECS, ∗ Department of IEOR, University of Cal Add to Reading List Source URL: goldberg.berkeley.edu Language: English - Date: 2008-06-09 02:25:21 Mechanical engineering Motion planning Theoretical computer science Kinematics Screw theory Determinacy Optimal control
672	A constructive proof of the general Lov´asz Local Lemma Robin A. Moser∗ G´abor Tardos† Institute for Theoretical Computer Science Add to Reading List Source URL: www.renyi.hu Language: English - Date: 2009-06-04 04:08:03
673	Learning Programs from Noisy Data Veselin Raychev Pavol Bielik Martin Vechev Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-11-15 16:23:35 Theoretical computer science Algorithm Mathematical logic Machine learning Mathematics Coding theory Exponential mechanism Logic Philosophy of mathematics
674	I NTRODUCTION T HE LST FRAMEWORK Iterative forcing and preservation of hyperimmunity Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-06-30 01:30:45 Computability theory Theoretical computer science Mathematical logic Theory of computation Mathematics Model theory Algorithm characterizations operator
675	Toward an Object-Oriented Core of the PPM Library Omar Awile, Ömer Demirel and Ivo F. Sbalzarini Institute of Theoretical Computer Science and Swiss Institute of Bioinformatics, ETH Zurich, Universitätstr. 6, CH-8092 Z Add to Reading List Source URL: www.ppm-library.org Language: English - Date: 2014-08-27 12:27:05
676	Microsoft Word - Auditing Algorithms -- Sandvig -- ICA 2014 Data and Discrimination Preconference.docx Add to Reading List Source URL: social.cs.uiuc.edu Language: English - Date: 2015-10-08 22:46:00 Data processing Algorithm Mathematical logic Theoretical computer science Auditing Sorting algorithm Computing Mathematics Machine learning Academia
677	Rooter: A Methodology for the Typical Unification of Access Points and Redundancy Jeremy Stribling, Daniel Aguayo and Maxwell Krohn A BSTRACT Many physicists would agree that, had it not been for congestion control, the Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2005-04-09 16:37:16 Theoretical computer science Mathematics Theory of computation Computability theory Models of computation Mathematical logic Formal methods Algorithm Turing machine Randomized algorithm IP Alan Turing
678	A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory Adam Yedidia Scott Aaronson Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2016-05-03 08:34:47 Mathematics Theoretical computer science Computability theory Mathematical logic Theory of computation Turing machine Models of computation Busy beaver Halting problem ZermeloFraenkel set theory Computability Computable function
679	Theoretical Computer Science: âçãëÿä ìàòåìàòèêà Àëåêñàíäð Ðàçáîðîâ 19 àâãóñòà 2013 ã. It is very easy to use this thing. Just imagine Add to Reading List Source URL: people.cs.uchicago.edu Language: Vietnamese - Date: 2013-08-19 06:12:31
680	Auton Robot:173–188 DOIs10514Optimal surveillance coverage for teams of micro aerial vehicles in GPS-denied environments using onboard vision Lefteris Doitsidis · Stephan Weiss · Alessa Add to Reading List Source URL: rpg.ifi.uzh.ch Language: English - Date: 2013-11-17 14:31:28 Theoretical computer science Robotics Mobile robot Robot Motion planning Algorithm

UPDATE